доказывать от противного

См. также в других словарях:

• доказательство, доказывать — ▲ обоснование, ▲ обосновывать ↑ логический доказательство логическое обоснование истинности суждения; рассуждение, показывающее истинность неочевидного. доказывать. в доказательство. дать [привести. представить] доказательство. доказательство от… …   Идеографический словарь русского языка

• МИНИМАЛЬНАЯ ЛОГИКА —         логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного… …   Философская энциклопедия

• ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

• ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

• Список латинских фраз — В Викицитатнике есть страница по теме Латинские пословицы Во многих языках мира, в том числе в …   Википедия

• Крестьяне — Содержание: 1) К. в Западной Европе. 2) История К. в России до освобождения (1861). 3) Экономическое положение К. после освобождения. 4) Современное административное устройство К. I. К. в Западной Европе. Судьбы крестьянского или земледельческого …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• 1_ИНОСТРАННЫЕ ТЕРМИНЫ И ВЫРАЖЕНИЯ — Ab ovo (лат.) с самого начала (букв. с яйца). Accidens (лат.) несущественное, случайное, привходящее свойство. Actu; in actu (лат.) актуально, в действии, в действительности. Ad hoc (лат.) для данного случая. Напр., гипотеза ad hoc. Ad hominem,… …   Философская энциклопедия

• Ломоносов, Михаил Васильевич — — ученый и писатель, действительный член Российской Академии Наук, профессор химии С. Петербургского университета; родился в дер. Денисовке, Архангельской губ., 8 ноября 1711 г., скончался в С. Петербурге 4 апреля 1765 года. В настоящее… …   Большая биографическая энциклопедия

• ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …   Философская энциклопедия

• Александр I (часть 2, III) — Период третий. ПОСЛЕДНЕЕ ДЕСЯТИЛЕТИЕ (1816 1825). В Петербурге начало 1816 года было ознаменовано рядом придворных празднеств: 12 го (24 го) января состоялось бракосочетание Великой Княгини Екатерины Павловны с Наследным принцем виртембергским, а …   Большая биографическая энциклопедия

• Константин Павлович — — великий князь, цесаревич, род. 27 апреля 1779 г., в Царском Селе, ум. в Витебске в 7¼ час. вечера 15 июня 1831 г.; погребен 17 августа того же года в Петропавловском соборе в Петербурге. Второй сын императора Павла Петровича и… …   Большая биографическая энциклопедия